Symbolic execution - PDFSEARCH.IO - Document Search Engine

Symbolic execution
Results: 153

#	Item
41	Fuzzgrind: an automatic fuzzing tool Add to Reading List Source URL: esec-lab.sogeti.com Language: English - Date: 2016-07-01 12:08:46 Software Computer programming Debuggers Profilers Valgrind Symbolic execution Programming tool Software testing
42	Symbolic execution for BIOS security1 Oleksandr Bazhaniuk, John Loucaides, Lee Rosenbaum, Mark R. Tuttle, Vincent Zimmer2 Intel Corporation May 25, 2015 Abstract We are building a tool that uses symbolic execution to Add to Reading List Source URL: www.usenix.org Language: English - Date: 2016-02-21 20:25:08 Software Computing System software Boot loaders BIOS Rootkits System Management Mode Concolic testing Symbolic execution Unified Extensible Firmware Interface QEMU Software testing
43	Enhancing Symbolic Execution with Veritesting Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, and David Brumley Carnegie Mellon University {thanassis, alexandre, sangkilc, dbrumley}@cmu.edu Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Software Software testing Automated theorem proving Concolic testing Symbolic execution Software metrics Control flow graph KeY Code coverage Algorithm Data-flow analysis GNU Core Utilities
44	Welcome to today’s ACM SIGSOFT Webinar Transferring Software Testing Tools to Practice • The presentation starts at the top of the hour and lasts 60 minutes. Slides will advance automatically throughout the event. Yo Add to Reading List Source URL: learning.acm.org Language: English - Date: 2016-08-05 15:49:47 Software Null Cross-linked polyethylene Symbolic execution Microsoft Visual Studio X Window System
45	Symbolic Crosschecking of Floating-Point and SIMD Code Peter Collingbourne Cristian Cadar Paul H. J. Kelly Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-03-08 07:04:45 Concurrent computing Computing Computer architecture X86 instructions SIMD AltiVec Streaming SIMD Extensions Processor register SSE2 Symbolic execution MMX Constant folding
46	Symbolic Execution for Software Testing in Practice – Preliminary Assessment Patrice Godefroid Imperial College London Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-03-08 07:04:45 Software testing Concolic testing Symbolic execution Java Pathfinder KeY Random testing Model checking Satisfiability modulo theories Unit testing Type system White-box testing Fuzz testing
47	EXE: Automatically Generating Inputs of Death Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler Computer Systems Laboratory Stanford University Stanford, CA 94305, U.S.A {cristic, Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-03-08 07:04:45 Data types Symbolic execution Pointer Array data structure Array data type Bit array Type system Concolic testing
48	Symbolic execution - model equivalence & applications Matei Popovici, Radu Stoenescu, Lorina Negreanu, Costin Raiciu University Politehnica of Bucharest 1. NETWORK SYMBOLIC EXECUTION Add to Reading List Source URL: conferences.sigcomm.org Language: English - Date: 2016-07-31 22:09:03 Abstract interpretation Symbolic execution Program optimization APL Concolic testing
49	Towards Automatic Generation of Vulnerability-Based Signatures David Brumley, James Newsome, and Dawn Song Carnegie Mellon University Pittsburgh, PA, USA {dbrumley,jnewsome,dawnsong}@cmu.edu Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Computability theory Vulnerability Public-key cryptography Theoretical computer science Models of computation Buffer overflow Social vulnerability Zero-day Ring signature Symbolic execution Turing machine Halting problem
50	RWset: Attacking Path Explosion in Constraint-Based Test Generation Peter Boonstoppel, Cristian Cadar, Dawson Engler Computer Systems Laboratory, Stanford University Abstract. Recent work has used variations of symbolic Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-03-08 07:04:45 Constraint programming Abstract interpretation Symbolic execution Constraint Program optimization Concolic testing Constraint logic programming